Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Source URL: cs.au.dk

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Subroutines
• Models of computation
• Functional programming
• Theoretical computer science
• Lisp
• Eval
• Expression
• Anonymous function

Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig

Source URL: users-cs.au.dk

• Software engineering
• Computing
• Computer programming
• Subroutines
• Lambda calculus
• Data types
• Type theory
• Functional programming
• Closure
• Scope
• Free variables and bound variables
• Lambda lifting

Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech

Source URL: www.pps.univ-paris-diderot.fr

Chapter VIII Suggested Readings Chapter I This material is covered in almost every text on functional analysis. We mention specifically references [22], [25], [47].

Source URL: ejde.math.unt.edu

• Calculus
• Mathematics
• Mathematical analysis
• Differential equation
• Partial differential equation
• Hyperbolic partial differential equation
• Boundary value problem
• Nonlinear system
• Peter Lax
• Gheorghe Moroanu
• Ravi Agarwal

Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139

Source URL: stanford.edu

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Functional programming
• Programming languages
• Data types
• Control flow
• Eval
• Bayesian network
• Scheme
• Lisp

The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University

Source URL: www.itu.dk

• Logic in computer science
• Lambda calculus
• Models of computation
• Combinatory logic
• First-order logic
• Substitution
• Symbol
• Natural deduction

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech

Source URL: www.pps.univ-paris-diderot.fr

Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy

Source URL: www.ai4fm.org

• Grammar
• Linguistics
• Mathematical logic
• Syntax
• FO
• Finite model theory
• Argument
• Lambda calculus
• Predicate
• Functional predicate